We have compiled a list of manufacturers, distributors, product information, reference prices, and rankings for Optimization Solvers.
ipros is IPROS GMS IPROS One of the largest technical database sites in Japan that collects information on.

Optimization Solvers Product List and Ranking from 6 Manufacturers, Suppliers and Companies

Last Updated: Aggregation Period:Oct 01, 2025~Oct 28, 2025
This ranking is based on the number of page views on our site.

Optimization Solvers Manufacturer, Suppliers and Company Rankings

Last Updated: Aggregation Period:Oct 01, 2025~Oct 28, 2025
This ranking is based on the number of page views on our site.

  1. Gurobi Japan Tokyo//software
  2. ログ・オプト Chiba//IT/Telecommunications
  3. アルテアエンジニアリング Tokyo//software
  4. 4 テガラ Shizuoka//Trading company/Wholesale
  5. 5 テラバイト Tokyo//software

Optimization Solvers Product ranking

Last Updated: Aggregation Period:Oct 01, 2025~Oct 28, 2025
This ranking is based on the number of page views on our site.

  1. Mathematical Optimization Solver "Gurobi Optimizer" Gurobi Japan
  2. Structural Analysis and Structural Optimization Solver Altair OptiStruct アルテアエンジニアリング
  3. Model Predictive Control / Embedded System Optimization Solver 'FORCESPRO' テガラ
  4. 4 High-speed mathematical optimization solver "Gurobi Optimizer" Gurobi Japan
  5. 4 Scheduling Optimization Solver OptSeq ログ・オプト

Optimization Solvers Product List

1~11 item / All 11 items

Displayed results

Mathematical Optimization Solver "Gurobi Optimizer"

With the world's fastest mathematical optimization solver, Gurobi Optimizer, there are infinite possibilities for optimization solutions.

Gurobi Optimizer is a state-of-the-art mathematical optimization solver for linear programming (LP), mixed-integer programming (MIP), quadratic programming (QP), mixed-integer quadratic programming (MIQP), quadratic constraints (QCP), and mixed-integer quadratic constraints (MIQCP). Designed to fully leverage the latest hardware architectures and multi-core processor technologies, Gurobi Optimizer employs advanced optimization algorithms to quickly derive reliable solutions. With a wide range of interfaces, access from industry-standard modeling languages, a clear and transparent pricing structure, flexible licensing options, and highly satisfactory technical support, Gurobi Optimizer encompasses all of these features. Recently, Gurobi Optimizer has successfully computed optimal solutions for 11 models in the benchmark collection MIPLIB2010 (Mixed Integer Problem Library), known for gathering extremely challenging mixed-integer programming problems (MIP) from various application fields, which had previously been unsolvable by any other solver.

  • Other analyses
  • simulator

Added to bookmarks

Bookmarks list

Bookmark has been removed

Bookmarks list

You can't add any more bookmarks

By registering as a member, you can increase the number of bookmarks you can save and organize them with labels.

Free membership registration

High-speed mathematical optimization solver "Gurobi Optimizer"

Infinite possibilities with optimized solutions! State-of-the-art high-speed mathematical optimization solver.

The "Gurobi Optimizer" is a mathematical optimization solver for linear programming (LP), quadratic programming (QP), quadratic constrained programming (QCP), and mixed-integer programming (MIP) [mixed-integer linear programming (MILP), mixed-integer quadratic programming (MIQP), mixed-integer quadratic constrained programming (MIQCP)]. This product is designed to leverage the latest hardware architectures and multi-core processor technologies thoroughly, using advanced optimization algorithms to quickly derive reliable solutions. 【Features】 ○ Continuously updates the world's fastest speed in third-party benchmarks ○ Easily constructs complex models ○ Simple transition to complete applications ○ Faster with reduced memory usage ○ Rich interfaces For more details, please contact us or download the catalog.

  • Development support tools (ICE, emulators, debuggers, etc.)
  • Other information systems

Added to bookmarks

Bookmarks list

Bookmark has been removed

Bookmarks list

You can't add any more bookmarks

By registering as a member, you can increase the number of bookmarks you can save and organize them with labels.

Free membership registration

Constraint Optimization Solver SCOP

Solving large-scale combinatorial optimization problems quickly.

SCOP (Solver for Constraint Programming) is a solver designed to quickly solve large-scale combinatorial optimization problems. By utilizing solution principles specialized for combinatorial optimization problems, SCOP can efficiently explore good solutions even for large problems that traditional mathematical optimization solvers cannot handle. Features: By defining variables in a different way than mathematical optimization solvers, it can significantly reduce the number of variables, enabling fast solutions. It allows for a more natural logical constraint description that is easier for humans to understand compared to mathematical optimization solvers. Based on metaheuristics, it possesses world-class search capabilities. Even for large-scale problems, it can solve them extremely efficiently within limited computation time. It provides data input through a simple modeling language and a Python language interface.

  • Other analyses

Added to bookmarks

Bookmarks list

Bookmark has been removed

Bookmarks list

You can't add any more bookmarks

By registering as a member, you can increase the number of bookmarks you can save and organize them with labels.

Free membership registration

Scheduling Optimization Solver OptSeq

Rapidly solving large-scale scheduling optimization.

OptSeq is a general-purpose scheduling optimization solver specialized in scheduling optimization. It can describe various practical constraints and uses algorithms tailored for scheduling optimization problems, enabling it to provide good solutions in a short time for large-scale scheduling optimization problems that cannot be solved by mathematical optimization solvers. OptSeq considers renewable resources such as machines and people, non-renewable resources that are consumed such as money and materials, setup times, interruptions during work, resource occupancy and non-occupancy during interruptions, parallel tasks, selection of work modes, and arbitrary time constraints between tasks, allowing it to solve scheduling problems that minimize delays and mixed scheduling of forward and backward scheduling. Features: It allows modeling of scheduling optimization problems in a more natural expression (easier for humans to understand) compared to mathematical optimization solvers. Based on metaheuristics, it possesses world-class search capabilities. Even for large-scale problems, it can be solved extremely efficiently within limited computation time. It provides data input through a simple modeling language and a Python language interface.

  • Production Scheduler

Added to bookmarks

Bookmarks list

Bookmark has been removed

Bookmarks list

You can't add any more bookmarks

By registering as a member, you can increase the number of bookmarks you can save and organize them with labels.

Free membership registration

Model Predictive Control / Embedded System Optimization Solver 'FORCESPRO'

A fast and reliable solver for model predictive control and embedded system optimization.

An advanced numerical optimization algorithm specially developed for the mathematical structure of optimal control problems solves complex optimization issues in milliseconds. This fastest solver also has a very small file size, allowing it to be embedded in any hardware platform, significantly improving safety, productivity, and energy efficiency. For example, it is used in autonomous driving (vehicle motion planning and energy management), rocket guidance and motion planning, pitch control of wind turbines, sheet metal laser cutting, and motion planning for robotic arms.

  • Other process controls

Added to bookmarks

Bookmarks list

Bookmark has been removed

Bookmarks list

You can't add any more bookmarks

By registering as a member, you can increase the number of bookmarks you can save and organize them with labels.

Free membership registration

Structural optimization solver "Altair OptiStruct"

Lighter, stronger, faster! The use of optimization software in product design is gaining attention.

"OptiStruct" is an optimization software that can optimize shapes, components, and more, enabling weight reduction, as well as reducing lead times through a new design process. Additionally, its intuitive GUI, which excels in operability, enhances work efficiency. It is equipped with various functions including topology optimization, free size optimization, composite material optimization, and more. [Features] - Optimizes shapes, components, etc., allowing for weight reduction - Optimizes ribs, beads, embosses, etc., improving rigidity - Reduces lead times through a new design process - Icon-based GUI *For more details, please refer to the related links or feel free to contact us.

  • Other CAD related software

Added to bookmarks

Bookmarks list

Bookmark has been removed

Bookmarks list

You can't add any more bookmarks

By registering as a member, you can increase the number of bookmarks you can save and organize them with labels.

Free membership registration

Structural Analysis and Structural Optimization Solver Altair OptiStruct

It is the latest structural analysis solver for linear and nonlinear simulations under static and dynamic loads, capable of performance evaluation and optimization for strength, durability, NVH, and more.

<Main Features of the Product> • Supports nonlinear analysis • State-of-the-art NVH analysis solver • Highly parallelized solver • Structural optimization technology with 30 years of proven experience • Advanced optimization capabilities for laminated composites

  • Structural Analysis
  • Stress Analysis

Added to bookmarks

Bookmarks list

Bookmark has been removed

Bookmarks list

You can't add any more bookmarks

By registering as a member, you can increase the number of bookmarks you can save and organize them with labels.

Free membership registration

Quantum Annealing Mathematical Optimization Solver [For Education, Research, and PoC]

A mathematical optimization solver utilizing quantum annealing is a tool that efficiently solves complex optimization problems using quantum technology.

Pioneering the future with an innovative mathematical optimization solver! Our mathematical optimization solver is a next-generation solution that leverages quantum annealing technology. In modern society, faced with complex and vast combinatorial problems, it is capable of solving challenges that traditional algorithms struggle with, quickly and efficiently. It is utilized across a wide range of industries, such as optimizing transportation networks, streamlining logistics routes, and optimizing portfolios, achieving significant cost reductions and productivity improvements. Particularly in scenarios that require real-time decision-making, our solver demonstrates unparalleled performance. Additionally, as a method of mathematical optimization, quantum annealing excels in problems without data trends, allowing for solutions to be found in a very short time. A mathematical optimization solver that opens up future possibilities. Why not embark on a new challenge with us to pursue optimal solutions?

  • server

Added to bookmarks

Bookmarks list

Bookmark has been removed

Bookmarks list

You can't add any more bookmarks

By registering as a member, you can increase the number of bookmarks you can save and organize them with labels.

Free membership registration

Delivery Optimization Solver METRO

Fast solving of large-scale distribution optimization problems.

It is a solver specialized in delivery optimization problems, capable of solving large-scale delivery optimization issues quickly. It can express almost all practical constraints of delivery optimization problems, making it a highly practical delivery optimization solver. • It is possible to optimize delivery from multiple sets of customer locations to customer locations (such as in sharing services). • It can optimize delivery based on warehouses or distribution centers. • Practical constraints such as time constraints, vehicle and location-related constraints, driver breaks, multi-dimensional capacity of trucks (considering mixed refrigerated and frozen loads, etc.), and simultaneous pickups and deliveries can be described.

  • Other embedded systems (software and hardware)

Added to bookmarks

Bookmarks list

Bookmark has been removed

Bookmarks list

You can't add any more bookmarks

By registering as a member, you can increase the number of bookmarks you can save and organize them with labels.

Free membership registration

Set Covering Optimization Solver OptCover

Fast solving of large-scale set cover optimization problems.

OptCover is a solver designed to quickly solve large-scale set cover optimization problems. The set cover optimization problem (not a strict definition) involves enumerating feasible solutions and finding the best combination among them. It can solve any problem where feasible solutions can be enumerated, including delivery optimization problems, scheduling problems, and other combinatorial optimization problems. Features: • Based on metaheuristics, it possesses world-class search capabilities. Even for large-scale problems, it can efficiently find solutions within a limited computation time. • Data input is possible using a simple modeling language.

  • Other embedded systems (software and hardware)

Added to bookmarks

Bookmarks list

Bookmark has been removed

Bookmarks list

You can't add any more bookmarks

By registering as a member, you can increase the number of bookmarks you can save and organize them with labels.

Free membership registration

Mathematical Optimization Solver Gurobi Optimizer

A mathematical optimization solver boasting world-class performance.

It is one of the most widely used and high-performance mathematical optimization solvers in the world, with a broad range of applicable problem types. While the performance of the solver itself is important, significant differences often arise in the scale of problems that can be solved and the speed of solutions due to modeling. Our company not only sells the solver but also excels in the technical aspects of modeling, providing excellent modeling support (for a fee) and various consulting services (for a fee) to solve real-world problems using mathematical optimization techniques. Types of solvable problems: - Linear Programming (LP) - Mixed Integer Linear Programming (MILP) - Quadratic Programming (QP) - Quadratic Constraints (QCP) - Mixed Integer Quadratic Programming (MIQP) - Mixed Integer Quadratic Constraints (MIQCP) - Mixed Integer Non-convex Quadratic Constraints (Non-convex MIQCP) Features: - Code designed to maximize parallel processing - Unmatched performance in cutting plane processing - Advanced MIP heuristic algorithms for quickly finding feasible solutions - Barrier algorithms that fully utilize the latest computer architectures - Support for an intuitive, easy-to-use, and lightweight API across a wide range of applications

  • Other embedded systems (software and hardware)

Added to bookmarks

Bookmarks list

Bookmark has been removed

Bookmarks list

You can't add any more bookmarks

By registering as a member, you can increase the number of bookmarks you can save and organize them with labels.

Free membership registration

Related Categories of Optimization Solvers